How to construct a 75-degree angle with a compass